Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
51	PDF Document Add to Reading List Source URL: www.inftyproject.org Language: English - Date: 2005-05-31 11:00:00 Logical consequence Logical syntax Metalogic Logic Deduction Entailment
52	Universe Subtyping in Martin-L¨of Type Theory Internship Report Gabriel Scherer under the supervision of Andreas Abel Revised version: August 24, 2011 The pragmatic goal of this internship was to establish the theoretic Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2013-05-30 11:20:39 Logical syntax Metalogic Philosophical logic Propositional calculus Natural deduction Curry–Howard correspondence Logic Deduction Entailment
53	Simply Logical Ð Chapter 7 p.132 sentence noun_phrase noun_phrase noun_phrase Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2001-01-29 09:42:13 Parts of speech Parse tree Syntax NP Noun Phrase Linguistics Syntactic categories Grammar
54	Microsoft Word - ijita12-4.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:08 Computing Algebra Logical syntax Causality Static single assignment form Assignment Mathematics Software engineering Variables
55	Microsoft Word - ijita12-2.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:05 Logical syntax Philosophy of language Model theory First-order logic Interpretation Predicate Substitution Well-formed formula Proposition Logic Propositional calculus Mathematical logic
56	Journal of Artificial Intelligence Research706 Submitted 11/08; publishedPlanning over Chain Causal Graphs for Variables with Domains of Size 5 Is NP-Hard Add to Reading List Source URL: jair.org Language: English - Date: 2009-04-27 11:37:47 Variables Causality IP Mathematics Algebra Logical syntax
57	Canonical Constituents and Non-canonical Coordination Simple Categorial Grammar Account Oleg Kiselyov Tohoku University, Japan Add to Reading List Source URL: okmij.org Language: English - Date: 2015-02-20 23:56:29 Logical syntax Deduction Proof theory Lambda calculus Categorial grammar Coordination Admissible rule Simply typed lambda calculus Entailment Logic Mathematical logic Propositional calculus
58	Keio University Thesis Abstract No. Registration Add to Reading List Source URL: www.flet.keio.ac.jp Language: English - Date: 2011-01-29 07:57:49 Logical syntax Formal languages Formal systems Logical truth Diagrammatic reasoning Mathematical proof Linear logic Formal proof Mathematical logic Logic Mathematics Proof theory
59	Predicate Logic Review John MacFarlane January 24, 2011 1 Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-24 19:39:11 Predicate logic Logical syntax Propositional calculus Interpretation First-order logic Well-formed formula Function Constructible universe Logical connective Logic Formal languages Model theory
60	From Exponential to Polynomial-time Security Typing via Principal Types Sebastian Hunt1 and David Sands2 1 2 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2011-03-01 05:21:51 Logical consequence Logical syntax Metalogic Natural deduction Logic Deduction Entailment

UPDATE